The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A (...) version of a syntactical solution is favoured. (shrink)

Kant spricht bezüglich der Widerlegung des Idealismus von einem „Beweis”. Das ist sicher der höchste Status, den er bereit ist, einem Argument zuzuschreiben. Diese Notiz hier soll zeigen, daß Kant diesen Anspruch zu Recht erhebt. Dazu reicht eine an der sprachlichen Oberflächenstruktur orientierte Formalisierung. Nun hat Kant natürlich die moderne Prädikatenlogik nicht gekannt, aber für den Gebrauch dieser Logik und ein dem gemäßes Räsonieren bedarf es bekanntlich ja auch nicht der ausdrücklichen Kenntnis eines entsprechenden Kalküls. Es reicht aus, daß es (...) mindestens eine Formalisierung gibt, in die sich Kants Argument bringen läßt, um zu zeigen, daß es formal schlüssig ist. (shrink)

Is transcendental pragmatics a matter of ultimate foundation or a matter of holism? Transcendental pragmatics as developed by Karl-Otto Apel has been the object of various criticisms. Against the fallibilists' claim (Albert) that argumentation is at last either dogmatic, axiomatic or circular, the transcendental pragmatists have given an argument that ultimate foundation ('Letztbegründung') cannot be proved to be impossible. But this clarification of their claims leaves open the questions whether their method can establish universal statements, and whether they prove statements (...) which are synthetic a priori. Against the claim of the reconstructive scientist (Habermas) they have to restate their view, and take into account an element of fallibilism. Here we encounter a first element of holism. With regard to the question whether there can be ultimate foundation without ultimate foundation of the method of ultimate foundation holism breaks in. The distinction between a vicious and a transcendental circle, used against Albert, is of no use in the establishment of the transcendental circle. (shrink)

In his recent paper in History and Philosophy of Logic, John Kearns argues for a solution of the Liar paradox using an illocutionary logic (Kearns 2007 ). Paraconsistent approaches, especially dialetheism, which accepts the Liar as being both true and false, are rejected by Kearns as making no ?clear sense? (p. 51). In this critical note, I want to highlight some shortcomings of Kearns' approach that concern a general difficulty for supposed solutions to (semantic) antinomies like the Liar. It is (...) not controversial that there are languages which avoid the Liar. For example, the language which consists of the single sentence ?Benedict XVI was born in Germany? lacks the resources to talk about semantics at all and thus avoids the Liar. Similarly, more interesting languages such as the propositional calculus avoid the Liar by lacking the power to express semantic concepts or to quantify over propositions. Kearns also agrees with the dialetheist claim that natural languages are semantically closed (i.e. are able to talk about their sentences and the semantic concepts and distinctions they employ). Without semantic closure, the Liar would be no real problem for us (speakers of natural languages). But given the claim, the expressive power of natural languages may lead to the semantic antinomies. The dialetheist argues for his position by proposing a general hypothesis (cf. Bremer 2005 , pp. 27?28): ?(Dilemma) A linguistic framework that solves some antinomies and is able to express its linguistic resources is confronted with strengthened versions of the antinomies?. Thus, the dialetheist claims that either some semantic concepts used in a supposed solution to a semantic antinomy are inexpressible in the framework used (and so, in view of the claim, violate the aim of being a model of natural language), or else old antinomies are exchanged for new ones. One horn of the dilemma is having inexpressible semantic properties. The other is having strengthened versions of the antinomies, once all semantic properties used are expressible. This dilemma applies, I claim, to Kearns' approach as well. (shrink)

In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating. Therefore the second part of the paper outlines one way to make dialetheism rational assertable. True contradictions turn out to be both believable and assertable. The argument proceeds by setting out basic principles of assertion and denial, and employing bivalent truth value operators.

The debate around “strong” paraconsistency or dialetheism (the view that there are true contradictions) has – apart from metaphysical concerns - centred on the questions whether dialetheism itself can be definitely asserted or has a unique truth value, and what it should mean, if it is possible at all, to believe a contradiction one knows to be contradictory (i.e. an explicit contradiction). And what should it mean, if it is possible at all, to assert a sentence one knows to be (...) contradictory? (shrink)

Within the philosophy of logic there has been an old debate about strengths and weaknesses of so-called “deviant” logics, as compared to standard logic (i.e. First Order Logic with Identity). With the development of a multitude of many-valued and modal logical systems and the various ways they can be employed in various fields of philosophy, linguistics and computer science, former “deviant” logics have become well accepted. Nowadays we seem to have a new and almost contrary debate about whether there is (...) any universal logic at all or only a multitude of systems: logical pluralism. But what does logical pluralism claim? In this paper one prominent version of logical pluralism is the main target of further questions. (shrink)

El artículo expone la contraposición entre dos posiciones filosóficas (deconstrucción y reconstrucción), dos autores (Jacques Derrida, Jean Luc Ferry) y dos libros (Apprendre à vivre enfin, Apprendre à vivre). En última instancia, dos formas de entender las relaciones entre filosofía y vida. Más allá del logocentrismo, objeto de la deconstrucción, el biocentrismo es el eje de la tarea de reconstrucción de una filosofía articulada como ontología o teoría de lo real, filosofía moral o teoría de la justicia y sabiduría o (...) teoría de la salvación. En suma, una forma renovada de asumir la necesidad de la filosofía. (shrink)

The question of the limit and the difference between man and animal has become a philosophical issue of special relevance. Just look at its political, social, economic, etc. implications. For the first time man can direct his evolutionary process. From that context, the Heideggerian arguments on the subject are analyzed and discussed, taking their Derridian reading as a conductive thread. It reveals the contradiction between the thematic and operational need for a limit and the impossibility of founding it.

This essay characterizes a version of internal realism. In §1 I will argue that for semantical reasons we should be realists of a strong kind. In §2 I plead for an internalistic setting of realism starting from the thesis that truth is, at least, not a non-epistemic concept. We have to bear the consequences of this in form of a more complicated concept of truth. The ‘internal’ of ‘internal realism’ points to the justification aspect of truth. The ‘realism’ of ‘internal (...) realism’ points to the correspondence aspect. A thesis concerning the irreducibility of the two aspects will be established in §3. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

With their book Logical Pluralism, Jc Beall and Greg Restall have elaborated on their previous statements on logical pluralism. Their view of logical pluralism is centred on ways of understanding logical consequence. The essay tries to come to grips with their doctrine of logical pluralism by highlighting some points that might be made clearer, and questioning the force of some of Beall’s and Restall’s central arguments. In that connection seven problems for their approach are put forth: (1) The Informal Common (...) Core Problem, (2) The Formal Common Core Problem, (3) The Superior Judge Problem, (4) The Problem of the Conditional, (6) The Problem of an Unsettled Concept of Consequence, (7) The Methodological Problem, (8) The General Logical Form Problem. It seems that the case for logical pluralism is far from clear. It is even unclear what exactly logical pluralism is and where is stops. It is also unclear if logical pluralism could be stated as it is, if it were true. So far universalism seems to be the better position to take. (shrink)

This book gives an overview of paraconsistent logics - that is logics which allow for inconsistency. Although allowing for inconsistency, paraconsistent logics are worth considering: Logical systems are worth considering in their own right since we can learn about very abstract structural properties of logics and the concepts employed within them such as negation, necessity and consistency. Some non-classical logics are especially of interest from a philosophical perspective since they alone offer the possibility of solving or even stating some philosophical (...) problems. These introductory lectures argue from a philosophical perspective that some paraconsistent logics are of interest or even the best candidates for dealing with specific philosophical problems. Although logic is seen from the point of view of its philosophical use, various formal systems are described, compared and employed. (shrink)

The following considerations concern modelling Belief Dynamics (BD) not just in the sense of a formalization, but rather in the sense of building a computational model and implementing the corresponding data structures and algorithms of recomputing beliefs. The purpose of such a project is to illustrate some ideas about belief changes in a Web of Beliefs (WoB) to explore and deepen one's understanding of belief changes by trying to implement or improve corresponding algorithms.

I consider here several versions of finitism or conceptions that try to work around postulating sets of infinite size. Restricting oneself to the so-called potential infinite seems to rest either on temporal readings of infinity (or infinite series) or on anti-realistic background assumptions. Both these motivations may be considered problematic. Quine’s virtual set theory points out where strong assumptions of infinity enter into number theory, but is implicitly committed to infinity anyway. The approaches centring on the indefinitely large and the (...) use of schemata would provide a work-around to circumvent usage of actual infinities if we had a clear understanding of how schemata work and where to draw the conceptual line between the indefinitely large and the infinite. Neither of this seems to be clear enough. Versions of strict finitism in contrast provide a clear picture of a (realistic) finite number theory. One can recapture standard arithmetic without being committed to actual infinities. The major problem of them is their usage of a paraconsistent logic with an accompanying theory of inconsistent objects. If we are, however, already using a paraconsistent approach for other reasons (in semantics, epistemology or set theory), we get finitism for free. This strengthens the case for paraconsistency. (shrink)

This essay tries to elucidate structural elements of consciousness by drawing on phenomenological descriptions of consciousness and employing representationalist models of consciousness. The aim is not to explain the genesis of self-awareness, but to outline different aspects of its structure.

Die in Wittgensteins Anfangsthesen des Tractatus formulierte Ansicht, daß Tatsachen die Bausteine der Welt ausmachen, kann auch so interpretiert werden, daß Tatsachen physische Entitäten sind. Die These von der physischen Existenz von Tatsachen wird in der analytischen Philosophie jedoch weitgehend abgelehnt. Hier wird hingegen versucht, diese Position als Tatsachen-Ontologie kohärent zu entwickeln. Vorzüge diese Position wären u.a. eine elegante Deutung der Vielheit verschiedener wahrer Aussagen, eine gute Basis fur eine Korrespondenztheorie der Wahrheit, Referenz auf strukturierte Raum-Zeit-Bereiche, sie wäre Baustein einer (...) realistischen Situationslogik und könnte eine Lösung für David Lewis' Problem der Einermengen liefern. (shrink)

Die in Wittgensteins Anfangsthesen des Tractatus formulierte Ansicht, daß Tatsachen die Bausteine der Welt ausmachen, kann auch so interpretiert werden, daß Tatsachen physische Entitäten sind. Die These von der physischen Existenz von Tatsachen wird in der analytischen Philosophie jedoch weitgehend abgelehnt. Hier wird hingegen versucht, diese Position als Tatsachen-Ontologie kohärent zu entwickeln. Vorzüge diese Position wären u.a. eine elegante Deutung der Vielheit verschiedener wahrer Aussagen, eine gute Basis fur eine Korrespondenztheorie der Wahrheit, Referenz auf strukturierte Raum-Zeit-Bereiche, sie wäre Baustein einer (...) realistischen Situationslogik und könnte eine Lösung für David Lewis' Problem der Einermengen liefern. (shrink)

A theory of the beliefs of non-human animals is not closed to us, only because we do not have beliefs of their kind. Starting from a theory of human beliefs and working on a building block model of propositional attitudes a theory of animal beliefs is viable. Such a theory is an example of the broader conception of a heterophenomenological approach to animal cognition. The theory aims at outlining the crucial differences between human and animal beliefs as well as the (...) relations between these attitudes and theories of them. By this it contributes both to a theory of human cognition and to a theory of the evolutionary origin of human cognition. The capacities of animals can thus be appreciated without making animals minor humans. Human cognition can be seen in its uniqueness without cutting the ties to its evolutionary origin. (shrink)

A theory of the beliefs of non-human animals is not closed to us, only because we do not have beliefs of their kind. Starting from a theory of human beliefs and working on a building block model of propositional attitudes a theory of animal beliefs is viable. Such a theory is an example of the broader conception of a heterophenomenological approach to animal cognition. The theory aims at outlining the crucial differences between human and animal beliefs as well as the (...) relations between these attitudes and theories of them. By this it contributes both to a theory of human cognition and to a theory of the evolutionary origin of human cognition. The capacities of animals can thus be appreciated without making animals minor humans. Human cognition can be seen in its uniqueness without cutting the ties to its evolutionary origin. (shrink)

A theory of the beliefs of non-human animals is not closed to us, only because we do not have beliefs of their kind. Starting from a theory of human beliefs and working on a building block model of propositional attitudes a theory of animal beliefs is viable. Such a theory is an example of the broader conception of a heterophenomenological approach to animal cognition. The theory aims at outlining the crucial differences between human and animal beliefs as well as the (...) relations between these attitudes and theories of them. By this it contributes both to a theory of human cognition and to a theory of the evolutionary origin of human cognition. The capacities of animals can thus be appreciated without making animals minor humans. Human cognition can be seen in its uniqueness without cutting the ties to its evolutionary origin. (shrink)

The book discusses the fate of universality and a universal set in several set theories.

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. Section 1 distinguishes between metacognition and metarepresentation in a narrow and broad sense. Section 2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. Section 3 introduces some general ideas how semantic metarepresentations are built (...) and processed. Section 4 looks at some recent theories about ways that semantic metarepresentations are built and processed. (shrink)

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as focusing on specific questions. These do (...) not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure. (shrink)

In a universal logic containing naive semantics the semantic antinomies will be provable. Although being provable they are not assertiblebecause of some pragmatic constraints on assertion I will argue for. Furthermore, since it is not acceptable that the thesis of dialethism is a dialethiaitself, what it would be according to naive semantics and the prefered logical systems of dialethism, a corresponding restriction on proof theory isnecessary.

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. §1 distinguishes between metacognition and metarepresentation in a narrow and broad sense. §2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. §3 introduces some general ideas how semantic metarepresentations are built and processed. §4 (...) looks at some recent theories about ways that semantic metarepresentations are built and processed. (shrink)

This paper looks at some aspects of semantic metarepresentation. It is mostly concerned with questions more formal, concerning the representation format in semantic metarepresentations, and the way they are processed. Section 1 distinguishes between metacognition and metarepresen- tation in a narrow and broad sense. Section 2 reminds the reader of some main areas where metarepresentations have to be used. The main part considers the ways that metarepresentations are built and processed. Section 3 introduces some general ideas how semantic metarepresentations are (...) built and processed. Section 4 looks at some recent theories about ways that semantic metarep- resentations are built and processed. (shrink)

Was ist Philosophische Semantik? Bedarf es neben der Linguistik uberhaupt noch einer "philosophischen" Semantik? Welche Rolle spielt diese Semantik fur die Philosophie im Allgemeinen? Welche methodische Rolle spielt die Klarung von "Bedeutung" fur die Sprachanalytische Philosophie? Tritt die philosophische Semantik an die Stelle der Erkenntnistheorie? In welchem Verhaltnis steht sie zur Ontologie und zur Philosophie des Geistes? Diesen Fragen geht das vorliegende Buch nach. In einem zentralen Verstandnis von Philosophischer Semantik ist das Wesentliche die Beziehung zwischen Bedeutungstheorie und Erkenntnistheorie (vermittels (...) der Rechtfertigung von Satzverwendungen). Eine so verstandene Semantik hat z.T. einen eigenen Ansatz, der einen zentralen Stellenwert fur eine Philosophie in der Analytischen Tradition besitzt. Man kann diese Philosophische Semantik als eine "Erste Philosophie" ansehen.". (shrink)

This chapter contains sections titled: Using Sartre Ordinary Language and the Self Self‐Denial in the Analytic Philosophy of Mind and in Sartre A Short Phenomenology of Some Distinctions Sartre's Conception of the Pre‐Reflexive Cogito De Se Theories of Self‐Awareness A Synthesis of the Pre‐reflexive Cogito with a De Se Theory of Self‐Awareness Unity of Consciousness and Reflexive Assent Where Do Higher‐Order Theories of Consciousness Go Wrong? Conclusion.